Results for 'Mikhael Lemos Paiva'

29 found
Order:
  1. Materialism, Idealism and the Onto-Epistemological Roots of Geography.Mikhael Lemos Paiva - 2017 - Revista InterEspaço 3 (9):07-26.
    The present article has as proposal the discussion of the philosophical categories of Idealism and Materialism in the Geographical thought. Starting from the assumption that the knowledge is a fact, we explicit our onto-epistemological basis by a dialog between the main representatives of each Philosophy pole, from Democritus to Hegel, exposing after the sublation to the metaphysics done by the dialectical materialism. Using a bridge to the hard core of the Critical Geography (Lefebvre, Harvey and Quaini), we transmute the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Considerações legais e forenses do aborto infeccioso bovino na “Saúde Única”: Revisão (18th edition).Jackson Barros Do Amaral, Vinícius José Moreira Nogueira & Wendell da Luz Silva (eds.) - 2024 - Londrina: Pubvet.
    In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
    This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Pura Vida Neutrosophic Algebra.Ranulfo Paiva Barbosa & Florentin Smarandache - 2023 - Neutrosophic Systems with Applications 9.
    We introduce Pura Vida Neutrosophic Algebra, an algebraic structure consisting of neutrosophic numbers equipped with two binary operations namely addition and multiplication. The addition can be calculated sometimes with the function min and other times with the max function. The multiplication operation is the usual sum between numbers. Pura Vida Neutrosophic Algebra is an extension of both Tropical Algebra (also known as Min-Plus, or Min-Algebra) and Max-Plus Algebra (also known as Max-algebra). Tropical and Max-Plus algebras are algebraic structures included in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. De Ars Sublime Infinitis Minimo: sobre o sublime nanotecnológico.Renata Lemos - 2012 - Dissertation, Puc-Sp, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  6. Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. A Turing Machine for Exponential Function.P. M. F. Lemos - manuscript
    This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a second (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Arquitetura do Tempo: O Torso Arcaico de Anaximandro (SIMPL. In Phys. 24.13–25).Luan Reborêdo Lemos - 2016 - Dissertation, Ufrj, Brazil
    Contra uma leitura disseminada segundo a qual os primeiros filósofos teriam se ocupado sobretudo do princípio material das coisas existentes, o trabalho defende que a cosmologia de Anaximandro é eminentemente processual e se caracteriza por ser uma minuciosa descrição acerca do modo como estados presentes decorrem de estados passados segundo um princípio de justiça que é regulado pela “disposição do tempo”. Sua cosmologia constitui a emergência de uma nova concepção de temporalidade que não explica o que é, foi e será (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Paisagens Celestes: Imagens-Memórias que refletem n'além-céu.Anderson dos Santos Paiva - 2020 - Dissertation, University of Coimbra
    Download  
     
    Export citation  
     
    Bookmark  
  10. Cosmolocalism: Understanding the Transitional Dynamics towards Post-Capitalism.Alexandros Schismenos, Vasilis Niaros & Lucas Lemos - 2020 - Triple-C 18 (2):670-684.
    Over the last decades, the proliferation of ICTs and capitalist markets has created a new social-historical reality for communication, production and societal organisation, while social inequality has deepened. In this context, alternative forms of organisation based on the commons have emerged, challenging the core values of capitalism. Within this new form of egalitarian and transnational collaborative networks, a new concept of social coexistence has been proposed: cosmolocalism. This article presents the genealogy of cosmolocalism and compares it to previous conceptual universalist (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. (1 other version)A pré-história da significação de ousia: Uma análise da interpretação heideggeriana de ousia enquanto presentidade (Anwesenheit).Estevão Lemos Cruz - 2019 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 25:1-24.
    Download  
     
    Export citation  
     
    Bookmark  
  12. The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Translation and Metaphysics: a case for fictional characters.Italo Lins Lemos - 2020 - Cadernos de Tradução 40 (1):110-126.
    If different translations of the same literary work have different syntaxes and semantics, how are they supposed to be about one and the same fictional character? In order to answer this question it’s necessary to (a) know what fictional characters are and (b) present reference conditions for them. Relying on Amie Thomasson’s (1999, 2003, 2007) and Saul Kripke’s (1980, 2013) works I argue that fictional characters are abstract artifacts whose reference is fixed by the baptism performed by an author; and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Da Relação entre Logos e Verdade em 'Ser e Tempo'.Estevão Lemos Cruz - 2009 - Dissertation, Ufpr, Brazil
    Esta dissertação tem como escopo a exposição da relação entre os conceitos fundamentais de λόγος e verdade, tais como foram desenvolvidos por Martin Heidegger em Ser e Tempo e nas preleções do entorno desta obra.
    Download  
     
    Export citation  
     
    Bookmark  
  15. Duelo, de Guimarães Rosa: moira em interface com a violência do sertão.Fabrício Lemos da Costa & Maria Elizabeth Bueno de Godoy - 2018 - Opinães: Revista de Literatura Brasileira 13:210-222.
    Download  
     
    Export citation  
     
    Bookmark  
  16. A temática da separação na filosofia platônica.Maria Aparecida de Paiva Montenegro - 2014 - O Que Nos Faz Pensar 34:69-90.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Guimarães Rosa’s “Duelo”: Moira’s interface to the Backwoods’ violence.Fabricio Lemos da Costa & Maria Elizabeth Bueno de Godoy - 2019 - Ágora: Estudos Clássicos Em Debate 21:321-338.
    Download  
     
    Export citation  
     
    Bookmark  
  18. Physis e cosmotécnica: um desenvolvimento na filosofia da tecnologia a partir de Yuk Hui.Matheus Vilaverde Lazzarotto & Bruno Lemos Hinrichsen - 2022 - Perspectiva Filosófica 49 (3):139-166.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Lemos on the Physical Indeterminism Luck Objection.Dwayne Moore - 2023 - Philosophia 51 (3):1459-1477.
    I recently argued that reductive physicalist versions of libertarian free will face a physical indeterminism luck objection. John Lemos claims that one potential advocate of reductive physicalist libertarianism, Robert Kane, avoids this physical indeterminism luck objection. I here show how the problem remains.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Hard-Incompatibilist Existentialism: Neuroscience, Punishment, and Meaning in Life.Derk Pereboom & Gregg D. Caruso - 2018 - In Gregg D. Caruso & Owen J. Flanagan (eds.), Neuroexistentialism: Meaning, Morals, and Purpose in the Age of Neuroscience. New York: Oxford University Press.
    As philosophical and scientific arguments for free will skepticism continue to gain traction, we are likely to see a fundamental shift in the way people think about free will and moral responsibility. Such shifts raise important practical and existential concerns: What if we came to disbelieve in free will? What would this mean for our interpersonal relationships, society, morality, meaning, and the law? What would it do to our standing as human beings? Would it cause nihilism and despair as some (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  21. The Public Health-Quarantine Model.Gregg D. Caruso - 2022 - In Dana Kay Nelkin & Derk Pereboom (eds.), The Oxford Handbook of Moral Responsibility. New York: Oxford University Press.
    One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical view per (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  22. How to Defend the Law of Non-Contradiction without Incurring the Dialetheist’s Charge of (Viciously) Begging the Question.Marco Simionato - 2024 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 31 (2):141-182.
    According to some critics, Aristotle’s elenctic defence (elenchos, elenchus) of the Law of Non-Contradiction (Metaphysics IV) would be ineffective because it viciously begs the question. After briefly recalling the elenctic refutation of the denier of the Law of Non-Contradiction, I will first focus on Filippo Costantini’s objection to the elenchus, which, in turn, is based on the dialetheic account of negation developed by Graham Priest. Then, I will argue that there is at least one reading of the elenchus that might (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  43
    Alasdair Macintyre e o Emotivismo Moral: Caracterização, Críticas e Controvérsias.Anderson Paz - 2022 - Revista Kínesis 14:22-33.
    O presente texto tem o objetivo de apresentar a caracterização e crítica de Alasdair MacIntyre ao emotivismo moral, como também as posteriores controvérsias entre Waller-Unwin e John Lemos. Busca-se apresentar a leitura de MacIntyre sobre o emotivismo moral presente no último capítulo de A Short History of Ethics, suas críticas a essa concepção ética nos capítulos dois e três de After Virtue, os argumentos de Bruce Waller e Nicholas Unwin em defesa de uma reformulação do emotivismo moral e as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Strawson & Kant: Ensaios comemorativos dos 50 anos de The Bounds of Sense.Jaimir Conte & Itamar Luis Gelain - 2016 - Pelotas, RS: NEPFIL online.
    Coletânea de textos: 1.Idealismo transcendental, naturalismo e um pouco de história, Adriano Naves de Brito; 2. Ceticismo e a reconstrução de P.F. Strawson da dedução kantiana das categorias, Pedro Stepanenko; 3. Dedução Transcendental e Ceticismo, Marco Antonio Franciotti; 4. Strawson e Kant sobre a dualidade entre intuições e conceitos, Roberto Horácio de Sá Pereira; 5. Princípio de significatividade em Kant e Strawson, Cristina de Moraes Nunes; 6. Strawson e Kant sobre a Liberdade, Albertinho Luiz Gallina e Cecília Rearte Terrosa; 7. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. (1 other version)Nidus Idearum. Scilogs, XIII: Structure / NeutroStructure / AntiStructure.Florentin Smarandache - 2024 - BiblioPublishing.
    In this thirteenth book of scilogs – one may find topics on Neutrosophy, Plithogeny, Physics, Mathematics, Philosophy – email messages to research colleagues, or replies, notes, comments, remarks about authors, articles, or books, spontaneous ideas, and so on. It presents new types of soft sets and new types of topologies. -/- Exchanging ideas with Mohammad Abobala, Ishfaq Ahmad, Ibrahim M. Almanjahie, Fatimah Alshahrani, Nizar Altounji, Muhammad Aslam, Said Broumi, Victor Christianto, R. Diksh, Feng Liu, Frank Julian Gelli, Erick Gonzalez Caballero, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. The Abolition of Punishment: Is a Non-Punitive Criminal Justice System Ethically Justified?Przemysław Zawadzki - 2024 - Diametros 21 (79):1-9.
    Punishment involves the intentional infliction of harm and suffering. Both of the most prominent families of justifications of punishment – retributivism and consequentialism – face several moral concerns that are hard to overcome. Moreover, the effectiveness of current criminal punishment methods in ensuring society’s safety is seriously undermined by empirical research. Thus, it appears to be a moral imperative for a modern and humane society to seek alternative means of administering justice. The special issue of Diametros “The Abolition of Punishment: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Filosofia como "Produto" ou como "Processo"?Emanuel Isaque Cordeiro da Silva - manuscript
    FILOSOFIA COMO PRODUTO OU COMO PROCESSO? -/- PHILOSOPHY AS A PRODUCT OR AS A PROCESS? -/- Por: Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: [email protected] e [email protected] WhatsApp: (82)9.8143-8399. -/- -/- PREMISSA -/- Nos trabalhos anteriores, na área filosófica, trabalhei a importância da filosofia no ensino médio e a responsabilidade pedagógica do professor. Doravante, compartilho agora da experiência daqueles que já se debruçaram sobre aquelas questões, acrescentando outras indagações: "Que fins pretendo alcançar com meu curso de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Reflexões sobre a Metodologia do Ensino de Filosofia.Emanuel Isaque Cordeiro da Silva - manuscript
    REFLEXÃO SOBRE A METODOLOGIA DO ENSINO DE FILOSOFIA -/- -/- REFLECTION ON THE METHODOLOGY OF PHILOSOPHY TEACHING -/- -/- Por: Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: [email protected] e [email protected]. WhatsApp: (82)9.8143-8399. -/- -/- -/- Etimologicamente, a palavra método é constituída pelos termos gregos metá, "por meio de", e hodós, "caminho". O método é, portanto, um "caminho por meio do qual" chegamos a um fim, atingimos determinado objetivo. -/- Vejamos qual é o desafio para o professor (...)
    Download  
     
    Export citation  
     
    Bookmark